digraph TS_4 {
e1 -> e2 [label="d"]
e2 -> e3 [label="e"]
e3 -> e4 [label="f"]
[initial = {e1} ]
[final = {e1,e2,e3,e4} ]
}
